On the use of MTBDDs for performability analysis and verification of stochastic systems
نویسندگان
چکیده
منابع مشابه
On the use of MTBDDs for performability analysis and verification of stochastic systems
This paper describes how to employ Multi-Terminal Binary Decision Diagrams (MTBDDs) for the construction and analysis of a general class of models that exhibit stochastic, probabilistic and non-deterministic behaviour. It is shown how the notorious problem of state space explosion can be circumvented by compositionally constructing symbolic (i.e. MTBDD-based) representations of complex systems ...
متن کاملOn the Use of Mtbdds for Performability Analysis and Veriication of Stochastic Systems
ion can be realised on symbolic representations. We provide the theoretical background to show that symbolic parallel composition is the key to space-e cient representation of huge state spaces. Sec. 6 discusses MTBDDbased algorithms for model checking the logic PCTL against CPS models and for calculating stationary probabilities for MTS models. In Sec. 7 we describe our MTBDD-based software to...
متن کاملcomparative analysis of the use of hedges & emphatics in english and persian academic research articles of sociology & psychology
چکیده ندارد.
15 صفحه اولthe use of appropriate madm model for ranking the vendors of mci equipments using fuzzy approach
abstract nowadays, the science of decision making has been paid to more attention due to the complexity of the problems of suppliers selection. as known, one of the efficient tools in economic and human resources development is the extension of communication networks in developing countries. so, the proper selection of suppliers of tc equipments is of concern very much. in this study, a ...
15 صفحه اولthe impact of generative learning strategy use on efl learners’ reading achievement and critical thinking
این پژوهش کوشیده است تأثیر به کارگیری راهبردهای زایا را بر پیشرفت و بسندگی در خواندن و درک مطلب و نیز بر تفکر انتقادی زبان آموزان انگلیسی را بررسی کند. در این پژوهش تعداد 46 دانش آموز دختر در مقطع متوسطه اول به صورت تصادفی انتخاب وبه دو گروه تجربی و شاهد با تعداد دانش آموزان مساوی در هر گروه تقسیم شدند. به هر دو گروه سه داستان کوتاه به عنوان موضوع خواندن برای کلاس داده شد. به گروه تجربی درابتدا...
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Logic and Algebraic Programming
سال: 2003
ISSN: 1567-8326
DOI: 10.1016/s1567-8326(02)00066-8